Implementing Continuation based language in GCC

In this example, a code segment f has input a and sends output b to a code segment g. There is no return from code segment b, b should call another continuation using goto. Any control structure in C is allowed in CwC language, but in case of CbC, we restrict ourselves to use if statement only, because it is sufficient to implement C to CbC translation. In this case, code segment has one input interface and several output interfaces (fig.2). __code and parameterized global goto statement is an extension of Continuation based C. Unlike C--